机译:极限和使用寿命极限状态的可靠性评估以及地下岩洞安全关键因素的确定
机译:使用不同的横截面数据库确定临界安全MCNP5计算偏差
机译:用于识别食品制造中的关键控制点的关键限制的食品安全系统:降低食品中污染风险
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:修改后的漏洞测试协议上限与使用单个心内衍生的耦合间隔确定除颤安全裕度之间的相关性。
机译:解析法确定边坡安全系数遗传遍历随机法搜索临界滑移面
机译:核临界安全实验,计算和分析 - 1958年至1982年。汇总2.摘要。从美国核协会的交易中汇编论文
机译:确定临界安全分析临界计算的安全上限的方法